:: Int -> CInt package:type-map